Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability

A matched formula is a CNF formula whose incidence graph admits a matching which matches a distinct variable to every clause. We study phase transition in a context of matched formulas and their generalization of biclique satisfiable formulas. We have performed experiments to find a phase transition of property "being matched" with respect to the ratio $m/n$ where $m$ is the number of clauses and $n$ is the number of variables of the input formula $\varphi$. We compare the results of experiments to a theoretical lower bound which was shown by Franco and Gelder (2003). Any matched formula is satisfiable, moreover, it remains satisfiable even if we change polarities of any literal occurrences. Szeider (2005) generalized matched formulas into two classes having the same property -- var-satisfiable and biclique satisfiable formulas. A formula is biclique satisfiable if its incidence graph admits covering by pairwise disjoint bounded bicliques. Recognizing if a formula is biclique satisfiable is NP-complete. In this paper we describe a heuristic algorithm for recognizing whether a formula is biclique satisfiable and we evaluate it by experiments on random formulas. We also describe an encoding of the problem of checking whether a formula is biclique satisfiable into SAT and we use it to evaluate the performance of our heuristicComment: Conference version submitted to SOFSEM 2018 (https://beda.dcs.fmph.uniba.sk/sofsem2019/) 18 pages(17 without refernces), 3 figures, 8 tables, an algorithm pseudocod

Scheduling Bidirectional Traffic on a Path

We study the fundamental problem of scheduling bidirectional traffic along a path composed of multiple segments. The main feature of the problem is that jobs traveling in the same direction can be scheduled in quick succession on a segment, while jobs in opposing directions cannot cross a segment at the same time. We show that this tradeoff makes the problem significantly harder than the related flow shop problem, by proving that it is NP-hard even for identical jobs. We complement this result with a PTAS for a single segment and non-identical jobs. If we allow some pairs of jobs traveling in different directions to cross a segment concurrently, the problem becomes APX-hard even on a single segment and with identical jobs. We give polynomial algorithms for the setting with restricted compatibilities between jobs on a single and any constant number of segments, respectively

Determinants in early life for asthma development

A reliable screening test in newborns for the subsequent development of bronchial asthma (BA) has not been found yet. This is mainly due to the complexity of BA, being made up by different types and underlying mechanisms. In different studies, a number of risk factors for BA have been identified. These include a positive family history of BA, passive smoking (also during pregnancy), prematurity (including pulmonary infections, RDS and BPD), early viral respiratory infections (such as RSV-bronchiolitis), male gender, early lung function abnormalities and atopic constitution. The major risk factor for persistent BA is an underlying allergic constitution. Therefore, early symptoms and markers of allergy (i.e. The Allergic March) and a positive family history for allergy should be considered as important risk factors for the development of BA

Characteristics and Outcomes of People With Gout Hospitalized Due to COVID-19: Data From the COVID-19 Global Rheumatology Alliance Physician-Reported Registry

Objective: To describe people with gout who were diagnosed with coronavirus disease 2019 (COVID-19) and hospitalized and to characterize their outcomes. Methods: Data on patients with gout hospitalized for COVID-19 between March 12, 2020, and October 25, 2021, were extracted from the COVID-19 Global Rheumatology Alliance registry. Descriptive statistics were used to describe the demographics, comorbidities, medication exposures, and COVID-19 outcomes including oxygenation or ventilation support and death. Results: One hundred sixty-three patients with gout who developed COVID-19 and were hospitalized were included. The mean age was 63 years, and 85% were male. The majority of the group lived in the Western Pacific Region (35%) and North America (18%). Nearly half (46%) had two or more comorbidities, with hypertension (56%), cardiovascular disease (28%), diabetes mellitus (26%), chronic kidney disease (25%), and obesity (23%) being the most common. Glucocorticoids and colchicine were used pre-COVID-19 in 11% and 12% of the cohort, respectively. Over two thirds (68%) of the cohort required supplemental oxygen or ventilatory support during hospitalization. COVID-19-related death was reported in 16% of the overall cohort, with 73% of deaths documented in people with two or more comorbidities. Conclusion: This cohort of people with gout and COVID-19 who were hospitalized had high frequencies of ventilatory support and death. This suggests that patients with gout who were hospitalized for COVID-19 may be at risk of poor outcomes, perhaps related to known risk factors for poor outcomes, such as age and presence of comorbidity

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Factors associated with COVID-19-related death in people with rheumatic diseases: results from the COVID-19 Global Rheumatology Alliance physician-reported registry

OBJECTIVES: To determine factors associated with COVID-19-related death in people with rheumatic diseases. METHODS: Physician-reported registry of adults with rheumatic disease and confirmed or presumptive COVID-19 (from 24 March to 1 July 2020). The primary outcome was COVID-19-related death. Age, sex, smoking status, comorbidities, rheumatic disease diagnosis, disease activity and medications were included as covariates in multivariable logistic regression models. Analyses were further stratified according to rheumatic disease category. RESULTS: Of 3729 patients (mean age 57 years, 68% female), 390 (10.5%) died. Independent factors associated with COVID-19-related death were age (66-75 years: OR 3.00, 95% CI 2.13 to 4.22; >75 years: 6.18, 4.47 to 8.53; both vs ≤65 years), male sex (1.46, 1.11 to 1.91), hypertension combined with cardiovascular disease (1.89, 1.31 to 2.73), chronic lung disease (1.68, 1.26 to 2.25) and prednisolone-equivalent dosage >10 mg/day (1.69, 1.18 to 2.41; vs no glucocorticoid intake). Moderate/high disease activity (vs remission/low disease activity) was associated with higher odds of death (1.87, 1.27 to 2.77). Rituximab (4.04, 2.32 to 7.03), sulfasalazine (3.60, 1.66 to 7.78), immunosuppressants (azathioprine, cyclophosphamide, ciclosporin, mycophenolate or tacrolimus: 2.22, 1.43 to 3.46) and not receiving any disease-modifying anti-rheumatic drug (DMARD) (2.11, 1.48 to 3.01) were associated with higher odds of death, compared with methotrexate monotherapy. Other synthetic/biological DMARDs were not associated with COVID-19-related death. CONCLUSION: Among people with rheumatic disease, COVID-19-related death was associated with known general factors (older age, male sex and specific comorbidities) and disease-specific factors (disease activity and specific medications). The association with moderate/high disease activity highlights the importance of adequate disease control with DMARDs, preferably without increasing glucocorticoid dosages. Caution may be required with rituximab, sulfasalazine and some immunosuppressants

Search for pair-produced long-lived neutral particles decaying to jets in the ATLAS hadronic calorimeter in ppcollisions at √s=8TeV

The ATLAS detector at the Large Hadron Collider at CERN is used to search for the decay of a scalar boson to a pair of long-lived particles, neutral under the Standard Model gauge group, in 20.3fb−1of data collected in proton–proton collisions at √s=8TeV. This search is sensitive to long-lived particles that decay to Standard Model particles producing jets at the outer edge of the ATLAS electromagnetic calorimeter or inside the hadronic calorimeter. No significant excess of events is observed. Limits are reported on the product of the scalar boson production cross section times branching ratio into long-lived neutral particles as a function of the proper lifetime of the particles. Limits are reported for boson masses from 100 GeVto 900 GeV, and a long-lived neutral particle mass from 10 GeVto 150 GeV